perm filename LCOMT.LSP[206,JMC] blob
sn#005338 filedate 1971-01-05 generic text, type T, neo UTF8
00100 (ALT (QUOTE (A B C D E)))
00200 (REV (QUOTE (A B)) (QUOTE (C D)))
00300 (SUBA (QUOTE (PLUS X Y)) (QUOTE X) (QUOTE (TIMES X X Y)))
00400 (ASSS (QUOTE X) (QUOTE ((Y . B) (X . A))))
00500 (EQU (QUOTE A) (QUOTE A))
00600 (EQU (QUOTE A) (QUOTE B))
00700 (EQU (QUOTE A) (QUOTE (A B)))
00800 (EQU (QUOTE (A B)) (QUOTE A))
00900 (EQU (QUOTE (A B)) (QUOTE (A C)))
01000 (EQU (QUOTE (A B)) (QUOTE (A B)))
01100 (FLAT (QUOTE ((A B) (C D))) NIL)
01150 (GLUB (QUOTE B))
01200 (QUOTE ((A C E) (B A C D) (TIMES (PLUS X Y)(PLUS X Y) Y)
01300 (X.A)T NIL NIL NIL NIL T (A B NIL C D NIL NIL) A))